Marc Bezem: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A Descriptive Characterisation of Even Linear Languages

Tore Langholm, Marc Bezem

Journal:

Year:

2003

Language:

english

File:

PDF, 99 KB

english, 2003

2

Polymorphic extensions of simple type structures. With an application to a bar recursive minimization

Erik Barendsen, Marc Bezem

Journal:

Annals of Pure and Applied Logic

Year:

1996

Language:

english

File:

PDF, 3.54 MB

english, 1996

3

[Lecture Notes in Computer Science] Computer Science Logic Volume 1258 || Call-by-Value, call-by-name and the logic of values

Dalen, Dirk, Bezem, Marc

Year:

1997

Language:

english

File:

PDF, 770 KB

english, 1997

4

Undecidable goals for completed acyclic programs

Marc Bezem, Jan Keuzenkamp

Journal:

New Generation Computing

Year:

1994

Language:

english

File:

PDF, 248 KB

english, 1994

5

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Orthogonal higher-order rewrite systems are confluent

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 645 KB

english, 1993

6

On the Mechanization of the Proof of Hessenberg’s Theorem in Coherent Logic

Marc Bezem, Dimitri Hendriks

Journal:

Journal of Automated Reasoning

Year:

2008

Language:

english

File:

PDF, 557 KB

english, 2008

7

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Modified realizability toposes and strong normalization proofs

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 852 KB

english, 1993

8

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Monotonic versus antimonotonic exponentiation

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 507 KB

english, 1993

9

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Semantics of lambda-I and of other substructure lambda calculi

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 663 KB

english, 1993

10

Syntactic forcing models for coherent logic

Bezem, Marc, Buchholtz, Ulrik, Coquand, Thierry

Journal:

Indagationes Mathematicae

Year:

2018

Language:

english

File:

PDF, 390 KB

english, 2018

11

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Inductive definitions in the system Coq rules and properties

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 1.01 MB

english, 1993

12

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Intersection types and bounded polymorphism

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 817 KB

english, 1993

13

Completeness of resolution revisited

Journal:

Theoretical Computer Science

Year:

1990

Language:

english

File:

PDF, 1.25 MB

english, 1990

14

Two finite specifications of a queue

Marc Bezem, Alban Ponse

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 1.22 MB

english, 1997

15

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || A logic for parametric polymorphism

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 760 KB

english, 1993

16

Automated Proof Construction in Type Theory Using Resolution

Marc Bezem, Dimitri Hendriks, Hans de Nivelle

Journal:

Journal of Automated Reasoning

Year:

2002

Language:

english

File:

PDF, 169 KB

english, 2002

17

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || The undecidability of typability in the Lambda-Pi-calculus

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 304 KB

english, 1993

18

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Call-by-value and nondeterminism

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 731 KB

english, 1993

19

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Program extraction from normalization proofs

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 734 KB

english, 1993

20

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Translating dependent type theory into higher order logic

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 1.08 MB

english, 1993

21

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Extracting constructive content from classical logic via control-like reductions

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 683 KB

english, 1993

22

Formalizing process algebraic verifications in the calculus of constructions

Marc Bezem, Roland Bol, Jan Friso Groote

Journal:

Formal Aspects of Computing

Year:

1997

Language:

english

File:

PDF, 2.44 MB

english, 1997

23

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || A term calculus for Intuitionistic Linear Logic

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 694 KB

english, 1993

24

Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals

Journal:

Journal of Symbolic Logic

Year:

1985

Language:

english

File:

PDF, 550 KB

english, 1985

25

On estimating the complexity of logarithmic decompositions

Marc Bezem, Jan Van Leeuwen

Journal:

Information Processing Letters

Year:

1988

Language:

english

File:

PDF, 444 KB

english, 1988

26

Activation of Pulmonary Dendritic Cells and Th2-Type Inflammatory Responses on Instillation of Engineered, Environmental Diesel Emission Source or Ambient Air Pollutant Particles in vivo

Bezemer, Gillina F.G., Bauer, Stephen M., Oberdörster, Günter, Breysse, Patrick N., Pieters, Raymond H.H., Georas, Steve N., Williams, Marc A.

Journal:

Journal of Innate Immunity

Year:

2011

Language:

english

File:

PDF, 1.04 MB

english, 2011

27

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 (International Conference on Typed Lambda Calculi and Applications TLCA '93 March, 16–18, 1993, Utrech, The Netherlands Proceedings) || A semantics for λ &-early: a calculus with overloading and early binding

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 1.06 MB

english, 1993

28

A Modern Perspective on Type Theory: From Its Origins until Todayby Fairouz Kamareddine; Twan Laan; Rob Nederpelt

Review by: Marc Bezem

Journal:

Bulletin of Symbolic Logic

Year:

2006

Language:

english

File:

PDF, 358 KB

english, 2006

29

Strong normalization of barrecursive terms without using infinite terms

Journal:

Archive for Mathematical Logic

Year:

1985

Language:

english

File:

PDF, 337 KB

english, 1985

30

A Kripke model for simplicial sets

Bezem, Marc, Coquand, Thierry

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 253 KB

english, 2015

31

Exponential behaviour of the Butkovič–Zimmermann algorithm for solving two-sided linear systems in max-algebra

Marc Bezem, Robert Nieuwenhuis, Enric Rodríguez-Carbonell

Journal:

Discrete Applied Mathematics

Year:

2008

Language:

english

File:

PDF, 405 KB

english, 2008

32

Compact and Majorizable Functionals of Finite Type

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 280 KB

english, 1989

33

A Type System for the Safe Instantiation of Components

Marc Bezem, Hoang Truong

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 283 KB

english, 2004

34

Developing Bounded Reasoning

Michał Walicki, Marc Bezem, Wojtek Szajnkenig

Journal:

Journal of Logic, Language and Information

Year:

2009

Language:

english

File:

PDF, 388 KB

english, 2009

35

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Lambda calculus characterizations of poly-time

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 745 KB

english, 1993

36

Expressive power of digraph solvability

Marc Bezem, Clemens Grabmayer, Michał Walicki

Journal:

Annals of Pure and Applied Logic

Year:

2012

Language:

english

File:

PDF, 346 KB

english, 2012

37

[Lecture Notes in Computer Science] Computer Science Logic Volume 1258 || Proofs in system F ω can be done in system F ω1

Dalen, Dirk, Bezem, Marc

Year:

1997

Language:

english

File:

PDF, 914 KB

english, 1997

38

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || An abstract notion of application

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 823 KB

english, 1993

39

Skolemâs Theorem in Coherent Logic

Bezem, Marc, Coquand, Thierry, Altenkirch, Thorsten, Schubert, Aleksy

Journal:

Fundamenta Informaticae

Year:

2019

File:

PDF, 221 KB

2019

40

Hard problems in max-algebra, control theory, hypergraphs and other areas

Marc Bezem, Robert Nieuwenhuis, Enric Rodríguez-Carbonell

Journal:

Information Processing Letters

Year:

2010

Language:

english

File:

PDF, 203 KB

english, 2010

41

Strong termination of logic programs

Journal:

The Journal of Logic Programming

Year:

1993

Language:

english

File:

PDF, 1.49 MB

english, 1993

42

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Recursive types are not conservative over F≤

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 972 KB

english, 1993

43

On the Computational Content of the Axiom of Choice

Stefano Berardi, Marc Bezem and Thierry Coquand

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 479 KB

english, 1998

44

Isomorphisms between HEO and HROE, ECF and ICFE

Journal:

Journal of Symbolic Logic

Year:

1985

Language:

english

File:

PDF, 786 KB

english, 1985

45

Logics for Resource Bounded Agents || Developing Bounded Reasoning

Michał Walicki, Marc Bezem and Wojtek Szajnkenig

Journal:

Journal of Logic, Language and Information

Year:

2009

Language:

english

File:

PDF, 2.56 MB

english, 2009

46

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Type reconstruction in Fω is undecidable

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 835 KB

english, 1993

47

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Combining first and higher order rewrite systems with type assignment systems

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 958 KB

english, 1993

48

A type system for counting instances of software components

Bezem, Marc, Hovland, Dag, Truong, Hoang

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 388 KB

english, 2012

49

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || A formalization of the strong normalization proof for System F in LEGO

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 764 KB

english, 1993

50

Improving IntSat by expressing disjunctions of bounds as linear constraints

Asín, Roberto, Bezem, Marc, Nieuwenhuis, Robert

Journal:

AI Communications

Year:

2015

Language:

english

File:

PDF, 93 KB

english, 2015

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски